版书名为A Course in Mathematical Logic，第2版书名与上一版略有不同，书中第4章和第6章有特色，第9章和0章为新增内容，作者是B. Zilber。本书是一部的数理逻辑教材，可作为高校数学专业研究生教材，及相关专业数学工作者参考书。

版本: 第1版, 平装, 世界图书出版公司

《数理逻辑教程》由上海人民出版社出版。

本书极具特色，它既不是一般的数学教材也不是一般的数学史教材，而是一本通过数学史来讲授数学的教材。本书的作者通过讲述某些数学论题，组织与之相关的概念、人物、思想、问题的背景及发展中的故事等材料，赋予读者数学的统一性的观点。 本书自1989年出版第一版以来，至今一直受到数学界的高度评价和数学爱好者的欢迎。本书对提高数学专业师生及广大爱好数学人士的数学修养很有价值。

Lonely Planet中国旅行指南系列《山西》全面覆盖三晋大地，包括太原及周边、晋北、晋中、晋西南、晋东南，附赠沿南太行出山西入河南、从洛阳前往安阳一线的内容，文字有趣，地图靠谱。本书分为四个板块：“计划你的行程”提供贴心的出行建议和好用的旅行线路；“在路上”为你带来实用的景点介绍及食宿、娱乐、购物、交通等多方面信息；“了解山西”带你探索历史人文背景，使旅途更有收获；“生存指南”则是你的旅行备忘录，翔实的出行和交通指南让旅途更顺畅。遍地开花的古建筑、令人大开眼界的面食大观和源远流长的晋商文化，今日的山西依旧引人入胜。

Andrew Pressley（1904-1988），伦敦国王学院的数学教授。Andrew是国际知名学者，在数学界享有盛誉，他的研究领域主要是数学物理与统计物理

What is a mathematical proof? How can proofs be justified? Are there limitations to provability? To what extent can machines carry out mathematical proofs? Only in this century has there been success in obtaining substantial and satisfactory answers. The present book contains a systematic discussion of these results. The investigations are centered around first-order logic. Our...(展开全部)

本书脱胎于北京大学哲学系本科“数理逻辑”课程的讲义，针对逻辑学的初学者，尤其是初学逻辑的学生，介绍一阶逻辑的最基本的知识和技术，包括一阶语言的语形和语义、一阶推演系统、一阶逻辑的完全性定理等。